$\vdash$  ($\neg$True) $\Leftarrow\!\Rightarrow$ False